Genes make worms behave

Bugs don't make worms kill.

Worms, wisdom, and wealth: why deworming can make economic sense.

For those of us who have had worms, getting rid of them seems a good idea, and multiple studies demonstrate the simplicity and benefit of deworming children. In the past decade or so, there has been a dramatic increase in efforts to provide inexpensive deworming medications, but at the same time there have been calls to re-evaluate the impact of deworming programs. In this review, we examine th...

Deductive Formal Verification: How To Make Your Floating-Point Programs Behave

Interpretation The main intuition behind abstract interpretation is that we do not need to know the exact state of a program to prove some property: a conservative approximation is sufficient. The theory was developed by Cousot and Cousot in the 70s [CC77]. I will only focus on static analysis tools with a focus on floating-point arithmetic. Astrée is a C program analyzer using abstract interpr...

Can Ignorance Make Central Banks Behave?: Instrument Uncertainty and the Inflationary Bias Problem

This paper presents a model in which "instrument uncertainty"—that is, an uncertain mapping from monetary policy to macroeconomic outcomes—may mitigate the inflationary bias problem that arises when efficient monetary policy rules are time-inconsistent. If the relation between monetary policy and macroeconomic outcomes is uncertain, the private sector has an incentive to scrutinize the past for...

Using a Matcher to Make an Expert Consultation System Behave Intelligently

This paper describes how even a simple matcher, if it can detect simple relationships between statements in the knowledge base, will support many features that will make a knowledgebased consultation system appear to behave more intelligently. We describe three features that are useful during the knowledge acquisition phase (involving the building and testing of the knowledge base), and four fe...